Why no one uses functional languages 1
نویسنده
چکیده
To say that no one uses functional languages is an exaggeration. Phone calls in the European Parliament are routed by programs written in Ericsson’s functional language Erlang. Virtual CDs are distributed on Cornell’s network via the Ensemble system written in INRIA’s CAML, and real CDs are shipped by Polygram in Europe using Software AG’s Natural Expert. Functional languages are the language of choice for writing theorem provers, including the HOL system which helped debug the design of the HP 9000 line of multiprocessors. These applications and others are described in a previous column [1].
منابع مشابه
Types for 0, 1 or Many Uses
This paper will present an analysis for detecting single uses of values in functional programs during call-by-need reduction. There are several reasons why such information can be useful. The Clean language uses a uniqueness type system for detecting single-threaded uses which allow destructive updating. Single-use information has also been proposed for compile-time garbage collection. Turner, ...
متن کاملWhy Is Unified Modeling Language ( UML ) for Cadastral Systems ?
This paper presents the uses of Unified Modeling language (UML) for describing cadastral information systems in terms of functional, static and dynamic models. These models enhance the transparency of the national cadastral organization by visualizing its business in the forms of UML diagrams and notations.
متن کاملProgramming Paradigms for Dummies: What Every Programmer Should Know
This chapter gives an introduction to all the main programming paradigms, their underlying concepts, and the relationships between them. We give a broad view to help programmers choose the right concepts they need to solve the problems at hand. We give a taxonomy of almost 30 useful programming paradigms and how they are related. Most of them differ only in one or a few concepts, but this can m...
متن کاملMutation Testing of Functional Programming Languages
Mutation testing has been widely studied in imperative programming languages. The rising popularity of functional languages and the adoption of functional idioms in traditional languages (e.g. lambda expressions) requires a new set of studies for evaluating the effectiveness of mutation testing in a functional context. In this paper, we report our ongoing effort in applying mutation testing in ...
متن کاملLazy functional languages - abstract interpretation and compilation
Imagine that you get such certain awesome experience and knowledge by only reading a book. How can? It seems to be greater when a book can be the best thing to discover. Books now will appear in printed and soft file collection. One of them is this book lazy functional languages abstract interpretation and compilation. It is so usual with the printed books. However, many people sometimes have n...
متن کامل